function getURL(){
    var tail = document.documentURI.substring(7);
    var server = tail.substring(0, tail.indexOf("/"));
    return server;
}